LibPoly: A Library for Reasoning about Polynomials∗ Dejan Jovanovi´c and Bruno Dutertre SRI International Abstract LibPoly is a C library for computing with polynomials. It provides data structures to represent multiv

Source URL: smt-workshop.cs.uiowa.edu

• Algebra
• Mathematics
• Polynomials
• Abstract algebra
• Polynomial
• Irreducible polynomial
• Factorization of polynomials
• Resultant
• Algebraic geometry
• Factorization
• Polynomial greatest common divisor
• Permutation polynomial

Mike Izbicki About Me My research makes machine learning algorithms faster. I’ve developed improved data structures for nearest neighbor queries and faster distributed learning procedures. I use techniques from high di

Source URL: izbicki.me

• Cybernetics
• Computing
• Technology
• Software engineering
• Computational neuroscience
• International Conference on Machine Learning
• Outline of machine learning
• Machine learning
• Haskell
• University of California
• Riverside
• Artificial intelligence

Use Cases Procera Networks: Find . See . Do . More Procera Networks structures mobile and fixed broadband network data, transforming it into

Source URL: cdn2.hubspot.net

• Network performance
• Information and communications technology
• Deep packet inspection
• Computing
• Net neutrality
• Broadband
• Network management
• Data transmission
• Procera Networks
• Data cap
• Capacity management
• Bandwidth management

Static Detection of Loop-Invariant Data Structures Guoqing Xu1 , Dacong Yan2 , and Atanas Rountev2 1 2 University of California, Irvine, CA, USA

Source URL: dacongy.github.io

• Software engineering
• Computer programming
• Programming language theory
• Compiler optimizations
• Control flow
• Loop optimization
• Heap
• Optimizing compiler
• Foreach loop

Fair Synchronization∗ Gadi Taubenfeld† June 30, 2016 Abstract Most published concurrent data structures which avoid locking do not provide any fairness guarantees. That is, they allow processes to access a data struc

Source URL: www.faculty.idc.ac.il

[MS-OLEPS]: Object Linking and Embedding (OLE) Property Set Data Structures Intellectual Property Rights Notice for Open Specifications Documentation Technical Documentation. Microsoft publishes Open Specifications docu

Source URL: winprotocoldoc.blob.core.windows.net

A Fully Automated Method for Discovering Community Structures in High Dimensional Data Jianhua Ruan Department of Computer Science University of Texas at San Antonio One UTSA Circle, San Antonio, TX 78249

Source URL: cs.utsa.edu

Functional data structures and algorithms

Source URL: fox.ucw.cz

Enriching Language Data through Projected Structures William Lewis, Fei Xia, Dan Jinguji Department of Linguistics University of Washington

Source URL: faculty.washington.edu

Compressing Deep Neural Networks with Probabilistic Data Structures Brandon Reagen Udit Gupta

Source URL: www.sysml.cc